if b then begin if not b then begin end else begin end end